Facet browsing currently unavailable
Page 1 of 751 results
Sort by: relevance publication year
On the proof complexity of deep inference JOURNAL ARTICLE published February 2009 in ACM Transactions on Computational Logic Research funded by Engineering and Physical Sciences Research Council (EP/E042805/1) |
Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics JOURNAL ARTICLE published 30 April 2022 in ACM Transactions on Computational Logic Research funded by DFG (SCHR 1118/6-2) |
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols JOURNAL ARTICLE published 31 October 2017 in ACM Transactions on Computational Logic |
Partial-Observation Stochastic Games JOURNAL ARTICLE published April 2014 in ACM Transactions on Computational Logic Research funded by European Research Council ((279307: Graph Games)) | Austrian Science Fund (P 23499-N23,S11407-N23 (RiSE)) |
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation JOURNAL ARTICLE published 31 July 2019 in ACM Transactions on Computational Logic |
Propositional Update Operators Based on Formula/Literal Dependence JOURNAL ARTICLE published August 2013 in ACM Transactions on Computational Logic |
Convolution as a Unifying Concept JOURNAL ARTICLE published 22 July 2016 in ACM Transactions on Computational Logic Research funded by EPSRC (EP/J003727/1) | Australian Research Council (DP130102901) |
From Small Space to Small Width in Resolution JOURNAL ARTICLE published 19 November 2015 in ACM Transactions on Computational Logic |
JOURNAL ISSUE published 1 February 2014 in ACM Transactions on Computational Logic |
Topological incompleteness and order incompleteness of the lambda calculus JOURNAL ARTICLE published July 2003 in ACM Transactions on Computational Logic |
Reasoning with recursive loops under the PLP framework JOURNAL ARTICLE published August 2008 in ACM Transactions on Computational Logic Research funded by National Natural Science Foundation of China (6.07E+31) |
Flat and one-variable clauses JOURNAL ARTICLE published August 2008 in ACM Transactions on Computational Logic |
Probabilistic abstraction for model checking JOURNAL ARTICLE published August 2007 in ACM Transactions on Computational Logic |
Recycling computed answers in rewrite systems for abduction JOURNAL ARTICLE published April 2007 in ACM Transactions on Computational Logic |
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions JOURNAL ARTICLE published July 2004 in ACM Transactions on Computational Logic |
A theory of normed simulations JOURNAL ARTICLE published October 2004 in ACM Transactions on Computational Logic |
A computational theory of normative positions JOURNAL ARTICLE published October 2001 in ACM Transactions on Computational Logic |
Complexity results on DPLL and resolution JOURNAL ARTICLE published January 2006 in ACM Transactions on Computational Logic |
A Model for Phase Transition of Random Answer-Set Programs JOURNAL ARTICLE published 22 July 2016 in ACM Transactions on Computational Logic Research funded by HKRGC (GRF 616013) | Australian Research Council (DP110101042 and DP130102302) | China National 973 Program and NSFC (2014CB340301 and 61379043) |
Finite state machines for strings over infinite alphabets JOURNAL ARTICLE published July 2004 in ACM Transactions on Computational Logic |